Dirac Spinor
   HOME

TheInfoList



OR:

In
quantum field theory In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and ...
, the Dirac spinor is the
spinor In geometry and physics, spinors are elements of a complex vector space that can be associated with Euclidean space. Like geometric vectors and more general tensors, spinors transform linearly when the Euclidean space is subjected to a sligh ...
that describes all known
fundamental particle In particle physics, an elementary particle or fundamental particle is a subatomic particle that is not composed of other particles. Particles currently thought to be elementary include electrons, the fundamental fermions (quarks, leptons, antiqu ...
s that are
fermion In particle physics, a fermion is a particle that follows Fermi–Dirac statistics. Generally, it has a half-odd-integer spin: spin , spin , etc. In addition, these particles obey the Pauli exclusion principle. Fermions include all quarks an ...
s, with the possible exception of
neutrino A neutrino ( ; denoted by the Greek letter ) is a fermion (an elementary particle with spin of ) that interacts only via the weak interaction and gravity. The neutrino is so named because it is electrically neutral and because its rest mass ...
s. It appears in the
plane-wave In physics, a plane wave is a special case of wave or field: a physical quantity whose value, at any moment, is constant through any plane that is perpendicular to a fixed direction in space. For any position \vec x in space and any time t, t ...
solution to the
Dirac equation In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it describes all spin- massive particles, called "Dirac par ...
, and is a certain combination of two
Weyl spinor In physics, particularly in quantum field theory, the Weyl equation is a relativistic wave equation for describing massless spin-1/2 particles called Weyl fermions. The equation is named after Hermann Weyl. The Weyl fermions are one of the three p ...
s, specifically, a
bispinor In physics, and specifically in quantum field theory, a bispinor, is a mathematical construction that is used to describe some of the fundamental particles of nature, including quarks and electrons. It is a specific embodiment of a spinor, speci ...
that transforms "spinorially" under the action of the
Lorentz group In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch physicis ...
. Dirac spinors are important and interesting in numerous ways. Foremost, they are important as they do describe all of the known fundamental particle fermions in
nature Nature, in the broadest sense, is the physics, physical world or universe. "Nature" can refer to the phenomenon, phenomena of the physical world, and also to life in general. The study of nature is a large, if not the only, part of science. ...
; this includes the
electron The electron ( or ) is a subatomic particle with a negative one elementary electric charge. Electrons belong to the first generation of the lepton particle family, and are generally thought to be elementary particles because they have no kn ...
and the
quark A quark () is a type of elementary particle and a fundamental constituent of matter. Quarks combine to form composite particles called hadrons, the most stable of which are protons and neutrons, the components of atomic nuclei. All commonly o ...
s. Algebraically they behave, in a certain sense, as the "square root" of a
vector Vector most often refers to: *Euclidean vector, a quantity with a magnitude and a direction *Vector (epidemiology), an agent that carries and transmits an infectious pathogen into another living organism Vector may also refer to: Mathematic ...
. This is not readily apparent from direct examination, but it has slowly become clear over the last 60 years that spinorial representations are fundamental to
geometry Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
. For example, effectively all
Riemannian manifold In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real manifold, real, smooth manifold ''M'' equipped with a positive-definite Inner product space, inner product ...
s can have spinors and
spin connection In differential geometry and mathematical physics, a spin connection is a connection on a spinor bundle. It is induced, in a canonical manner, from the affine connection. It can also be regarded as the gauge field generated by local Lorentz tr ...
s built upon them, via the
Clifford algebra In mathematics, a Clifford algebra is an algebra generated by a vector space with a quadratic form, and is a unital associative algebra. As -algebras, they generalize the real numbers, complex numbers, quaternions and several other hyperc ...
. The Dirac spinor is specific to that of
Minkowski spacetime In mathematical physics, Minkowski space (or Minkowski spacetime) () is a combination of Three-dimensional space, three-dimensional Euclidean space and time into a four-dimensional manifold where the spacetime interval between any two Event (rel ...
and
Lorentz transformation In physics, the Lorentz transformations are a six-parameter family of Linear transformation, linear coordinate transformation, transformations from a Frame of Reference, coordinate frame in spacetime to another frame that moves at a constant velo ...
s; the general case is quite similar. This article is devoted to the Dirac spinor in the Dirac representation. This corresponds to a specific representation of the
gamma matrices In mathematical physics, the gamma matrices, \left\ , also called the Dirac matrices, are a set of conventional matrices with specific anticommutation relations that ensure they generate a matrix representation of the Clifford algebra Cl1,3(\ma ...
, and is best suited for demonstrating the positive and negative energy solutions of the Dirac equation. There are other representations, most notably the chiral representation, which is better suited for demonstrating the
chiral symmetry A chiral phenomenon is one that is not identical to its mirror image (see the article on mathematical chirality). The spin of a particle may be used to define a handedness, or helicity, for that particle, which, in the case of a massless particle, ...
of the solutions to the Dirac equation. The chiral spinors may be written as linear combinations of the Dirac spinors presented below; thus, nothing is lost or gained, other than a change in perspective with regards to the discrete symmetries of the solutions. The remainder of this article is laid out in a pedagogical fashion, using notations and conventions specific to the standard presentation of the Dirac spinor in textbooks on quantum field theory. It focuses primarily on the algebra of the plane-wave solutions. The manner in which the Dirac spinor transforms under the action of the Lorentz group is discussed in the article on
bispinor In physics, and specifically in quantum field theory, a bispinor, is a mathematical construction that is used to describe some of the fundamental particles of nature, including quarks and electrons. It is a specific embodiment of a spinor, speci ...
s.


Definition

The Dirac spinor is the
bispinor In physics, and specifically in quantum field theory, a bispinor, is a mathematical construction that is used to describe some of the fundamental particles of nature, including quarks and electrons. It is a specific embodiment of a spinor, speci ...
\omega_\vec in the
plane-wave In physics, a plane wave is a special case of wave or field: a physical quantity whose value, at any moment, is constant through any plane that is perpendicular to a fixed direction in space. For any position \vec x in space and any time t, t ...
ansatz \psi(x) = u\left(\vec\right)\; e^ of the free
Dirac equation In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it describes all spin- massive particles, called "Dirac par ...
for a
spinor In geometry and physics, spinors are elements of a complex vector space that can be associated with Euclidean space. Like geometric vectors and more general tensors, spinors transform linearly when the Euclidean space is subjected to a sligh ...
with mass m, \left(i\hbar\gamma^\mu \partial_\mu - mc\right)\psi(x) = 0 which, in
natural units In physics, natural units are physical units of measurement in which only universal physical constants are used as defining constants, such that each of these constants acts as a Coherence (units of measurement), coherent unit of a quantity. For e ...
becomes \left(i\gamma^\mu \partial_\mu - m\right)\psi(x) = 0 and with
Feynman slash notation In the study of Dirac fields in quantum field theory, Richard Feynman invented the convenient Feynman slash notation (less commonly known as the Dirac slash notation). If ''A'' is a covariant vector (i.e., a 1-form), : \ \stackrel\ \gamma^1 A_ ...
may be written \left(i\partial\!\!\!/ - m\right)\psi(x) = 0 An explanation of terms appearing in the ansatz is given below. * The Dirac field is \psi(x), a relativistic
spin-1/2 In quantum mechanics, spin is an intrinsic property of all elementary particles. All known fermions, the particles that constitute ordinary matter, have a spin of . The spin number describes how many symmetrical facets a particle has in one full ...
field Field may refer to: Expanses of open ground * Field (agriculture), an area of land used for agricultural purposes * Airfield, an aerodrome that lacks the infrastructure of an airport * Battlefield * Lawn, an area of mowed grass * Meadow, a grass ...
, or concretely a function on
Minkowski space In mathematical physics, Minkowski space (or Minkowski spacetime) () is a combination of three-dimensional Euclidean space and time into a four-dimensional manifold where the spacetime interval between any two events is independent of the inerti ...
\mathbb^ valued in \mathbb^4, a four-component complex vector function. * The Dirac spinor related to a plane-wave with
wave-vector In physics, a wave vector (or wavevector) is a vector used in describing a wave, with a typical unit being cycle per metre. It has a magnitude and direction. Its magnitude is the wavenumber of the wave (inversely proportional to the wavelength), ...
\vec is u\left(\vec\right), a \mathbb^4 vector which is constant with respect to position in spacetime but dependent on momentum \vec. * The inner product on Minkowski space for vectors p and x is p \cdot x \equiv p_\mu x^\mu \equiv E_\vec t - \vec \cdot \vec. * The four-momentum of a plane wave is p^\mu = \left(\pm\sqrt,\, \vec\right) := \left(\pm E_\vec, \vec\right) where \vec is arbitrary, * In a given inertial frame of reference, the coordinates are x^\mu. These coordinates parametrize Minkowski space. In this article, when x^\mu appears in an argument, the index is sometimes omitted. The Dirac spinor for the positive-frequency solution can be written as u\left(\vec\right) = \begin \phi \\ \frac \phi \end \,, where * \phi is an arbitrary two-spinor, concretely a \mathbb^2 vector. * \vec is the Pauli vector, * E_\vec is the positive square root E_\vec = + \sqrt. For this article, the \vec subscript is sometimes omitted and the energy simply written E. In natural units, when is added to or when is added to , means in ordinary units; when is added to , means in ordinary units. When ''m'' is added to \partial_\mu or to \nabla it means \frac (which is called the ''inverse reduced
Compton wavelength The Compton wavelength is a quantum mechanical property of a particle. The Compton wavelength of a particle is equal to the wavelength of a photon whose energy is the same as the rest energy of that particle (see mass–energy equivalence). It was ...
'') in ordinary units.


Derivation from Dirac equation

The Dirac equation has the form \left(-i \vec \cdot \vec + \beta m \right) \psi = i \frac In order to derive an expression for the four-spinor , the matrices and must be given in concrete form. The precise form that they take is representation-dependent. For the entirety of this article, the Dirac representation is used. In this representation, the matrices are \vec\alpha = \begin \mathbf & \vec \\ \vec & \mathbf \end \quad \quad \beta = \begin \mathbf & \mathbf \\ \mathbf & -\mathbf \end These two 4×4 matrices are related to the Dirac gamma matrices. Note that and are 2×2 matrices here. The next step is to look for solutions of the form \psi = \omega e^ = \omega e^, while at the same time splitting into two two-spinors: \omega = \begin \phi \\ \chi \end \,.


Results

Using all of the above information to plug into the Dirac equation results in E \begin \phi \\ \chi \end = \begin m \mathbf & \vec\cdot\vec \\ \vec\cdot\vec & -m \mathbf \end\begin \phi \\ \chi \end. This matrix equation is really two coupled equations: \begin \left(E - m \right) \phi &= \left(\vec \cdot \vec \right) \chi \\ \left(E + m \right) \chi &= \left(\vec \cdot \vec \right) \phi \end Solve the 2nd equation for and one obtains \omega = \begin \phi \\ \frac \phi \end . Note that this solution needs to have E = +\sqrt in order for the solution to be valid in a frame where the particle has \vec p = \vec 0. Derivation of the sign of the energy in this case. We consider the potentially problematic term \frac \phi. * If E = +\sqrt, clearly \frac \rightarrow 0 as \vec p \rightarrow \vec 0. * On the other hand, let E = -\sqrt, \vec p = p\hat with \hat n a unit vector, and let p \rightarrow 0. \begin E = -m\sqrt &\rightarrow -m\left(1 + \frac\frac\right) \\ \frac &\rightarrow p\frac \propto \frac \rightarrow \infty \end Hence the negative solution clearly has to be omitted, and E = +\sqrt. End derivation. Assembling these pieces, the full positive energy solution is conventionally written as \psi^ = u^(\vec p)e^ = \textstyle \sqrt \begin \phi \\ \frac \phi \end e^ The above introduces a normalization factor \sqrt, derived in the next section. Solving instead the 1st equation for \phi a different set of solutions are found: \omega = \begin -\frac \chi \\ \chi \end \,. In this case, one needs to enforce that E = -\sqrt for this solution to be valid in a frame where the particle has \vec p = \vec 0. The proof follows analogously to the previous case. This is the so-called negative energy solution. It can sometimes become confusing to carry around an explicitly negative energy, and so it is conventional to flip the sign on both the energy and the momentum, and to write this as \psi^ = v^(\vec p) e^ = \textstyle\sqrt \begin \frac \chi \\ \chi \end e^ In further development, the \psi^-type solutions are referred to as the
particle In the Outline of physical science, physical sciences, a particle (or corpuscule in older texts) is a small wikt:local, localized physical body, object which can be described by several physical property, physical or chemical property, chemical ...
solutions, describing a positive-mass spin-1/2 particle carrying positive energy, and the \psi^-type solutions are referred to as the
antiparticle In particle physics, every type of particle is associated with an antiparticle with the same mass but with opposite physical charges (such as electric charge). For example, the antiparticle of the electron is the positron (also known as an antie ...
solutions, again describing a positive-mass spin-1/2 particle, again carrying positive energy. In the laboratory frame, both are considered to have positive mass and positive energy, although they are still very much dual to each other, with the flipped sign on the antiparticle plane-wave suggesting that it is "travelling backwards in time". The interpretation of "backwards-time" is a bit subjective and imprecise, amounting to hand-waving when one's only evidence are these solutions. It does gain stronger evidence when considering the quantized Dirac field. A more precise meaning for these two sets of solutions being "opposite to each other" is given in the section on
charge conjugation In physics, charge conjugation is a transformation that switches all particles with their corresponding antiparticles, thus changing the sign of all charges: not only electric charge but also the charges relevant to other forces. The term C-sy ...
, below.


Chiral basis

In the chiral representation for \gamma^\mu, the solution space is parametrised by a \mathbb^2 vector \xi, with Dirac spinor solution u(\mathbf) = \begin\sqrt\,\xi\\ \sqrt\,\xi\end where \sigma^\mu = (I_2, \sigma^i),~ \bar\sigma^\mu = (I_2, -\sigma^i) are Pauli 4-vectors and \sqrt is the Hermitian matrix square-root.


Spin orientation


Two-spinors

In the Dirac representation, the most convenient definitions for the two-spinors are: \phi^1 = \begin 1 \\ 0 \end \quad \quad \phi^2 = \begin 0 \\ 1 \end and \chi^1 = \begin 0 \\ 1 \end \quad \quad \chi^2 = \begin 1 \\ 0 \end since these form an
orthonormal basis In mathematics, particularly linear algebra, an orthonormal basis for an inner product space ''V'' with finite dimension is a basis for V whose vectors are orthonormal, that is, they are all unit vectors and orthogonal to each other. For example, ...
with respect to a (complex) inner product.


Pauli matrices

The
Pauli matrices In mathematical physics and mathematics, the Pauli matrices are a set of three complex matrices which are Hermitian, involutory and unitary. Usually indicated by the Greek letter sigma (), they are occasionally denoted by tau () when used in ...
are \sigma_1 = \begin 0 & 1\\ 1 & 0 \end \quad \quad \sigma_2 = \begin 0 & -i \\ i & 0 \end \quad \quad \sigma_3 = \begin 1 & 0 \\ 0 & -1 \end Using these, one obtains what is sometimes called the Pauli vector: \vec\cdot\vec = \sigma_1 p_1 + \sigma_2 p_2 + \sigma_3 p_3 = \begin p_3 & p_1 - i p_2 \\ p_1 + i p_2 & - p_3 \end


Orthogonality

The Dirac spinors provide a complete and orthogonal set of solutions to the Dirac equation.James D. Bjorken, Sidney D. Drell, (1964) "Relativistic Quantum Mechanics", McGraw-Hill ''(See Chapter 3)''Claude Itzykson and Jean-Bernard Zuber, (1980) "Quantum Field Theory", MacGraw-Hill ''(See Chapter 2)'' This is most easily demonstrated by writing the spinors in the rest frame, where this becomes obvious, and then boosting to an arbitrary Lorentz coordinate frame. In the rest frame, where the three-momentum vanishes: \vec p = \vec 0, one may define four spinors u^\left(\vec\right) = \begin 1 \\ 0 \\ 0 \\ 0 \end \qquad u^\left(\vec\right) = \begin 0 \\ 1 \\ 0 \\ 0 \end \qquad v^\left(\vec\right) = \begin 0 \\ 0 \\ 1 \\ 0 \end \qquad v^\left(\vec\right) = \begin 0 \\ 0 \\ 0 \\ 1 \end Introducing the
Feynman slash notation In the study of Dirac fields in quantum field theory, Richard Feynman invented the convenient Feynman slash notation (less commonly known as the Dirac slash notation). If ''A'' is a covariant vector (i.e., a 1-form), : \ \stackrel\ \gamma^1 A_ ...
= \gamma^\mu p_\mu the boosted spinors can be written as u^\left(\vec\right) = \frac u^\left(\vec\right) = \textstyle \sqrt \begin \phi^\\ \frac \phi^ \end and v^\left(\vec\right) = \frac v^\left(\vec\right) = \textstyle \sqrt \begin \frac \chi^ \\ \chi^ \end The conjugate spinors are defined as \overline \psi = \psi^\dagger \gamma^0 which may be shown to solve the conjugate Dirac equation \overline \psi (i + m) = 0 with the derivative understood to be acting towards the left. The conjugate spinors are then \overline u^\left(\vec\right) = \overline u^\left(\vec\right) \frac and \overline v^\left(\vec\right) = \overline v^\left(\vec\right) \frac The normalization chosen here is such that the scalar invariant \overline\psi \psi really is invariant in all Lorentz frames. Specifically, this means \begin \overline u^ (p) u^ (p) &= \delta_ & \overline u^ (p) v^ (p) &= 0 \\ \overline v^ (p) v^ (p) &= -\delta_ & \overline v^ (p) u^ (p) &= 0 \end


Completeness

The four rest-frame spinors u^\left(\vec\right), \;v^\left(\vec\right) indicate that there are four distinct, real, linearly independent solutions to the Dirac equation. That they are indeed solutions can be made clear by observing that, when written in momentum space, the Dirac equation has the form ( - m)u^\left(\vec\right) = 0 and ( + m)v^\left(\vec\right) = 0 This follows because = p^\mu p_\mu = m^2 which in turn follows from the anti-commutation relations for the
gamma matrices In mathematical physics, the gamma matrices, \left\ , also called the Dirac matrices, are a set of conventional matrices with specific anticommutation relations that ensure they generate a matrix representation of the Clifford algebra Cl1,3(\ma ...
: \left\ = 2\eta^ with \eta^ the
metric tensor In the mathematical field of differential geometry, a metric tensor (or simply metric) is an additional structure on a manifold (such as a surface) that allows defining distances and angles, just as the inner product on a Euclidean space allows ...
in flat space (in curved space, the gamma matrices can be viewed as being a kind of
vielbein The tetrad formalism is an approach to general relativity that generalizes the choice of basis for the tangent bundle from a coordinate basis to the less restrictive choice of a local basis, i.e. a locally defined set of four linearly independe ...
, although this is beyond the scope of the current article). It is perhaps useful to note that the Dirac equation, written in the rest frame, takes the form \left(\gamma^0 - 1\right)u^\left(\vec\right) = 0 and \left(\gamma^0 + 1\right)v^\left(\vec\right) = 0 so that the rest-frame spinors can correctly be interpreted as solutions to the Dirac equation. There are four equations here, not eight. Although 4-spinors are written as four complex numbers, thus suggesting 8 real variables, only four of them have dynamical independence; the other four have no significance and can always be parameterized away. That is, one could take each of the four vectors u^\left(\vec\right), \;v^\left(\vec\right) and multiply each by a distinct global phase e^. This phase changes nothing; it can be interpreted as a kind of global gauge freedom. This is not to say that "phases don't matter", as of course they do; the Dirac equation must be written in complex form, and the phases couple to electromagnetism. Phases even have a physical significance, as the
Aharonov–Bohm effect The Aharonov–Bohm effect, sometimes called the Ehrenberg–Siday–Aharonov–Bohm effect, is a quantum mechanical phenomenon in which an electrically charged particle is affected by an electromagnetic potential (φ, A), despite being confine ...
implies: the Dirac field, coupled to electromagnetism, is a
U(1) In mathematics, the circle group, denoted by \mathbb T or \mathbb S^1, is the multiplicative group of all complex numbers with absolute value 1, that is, the unit circle in the complex plane or simply the unit complex numbers. \mathbb T = \. ...
fiber bundle In mathematics, and particularly topology, a fiber bundle (or, in Commonwealth English: fibre bundle) is a space that is a product space, but may have a different topological structure. Specifically, the similarity between a space E and a p ...
(the
circle bundle In mathematics, a circle bundle is a fiber bundle where the fiber is the circle S^1. Oriented circle bundles are also known as principal ''U''(1)-bundles. In physics, circle bundles are the natural geometric setting for electromagnetism. A circ ...
), and the Aharonov–Bohm effect demonstrates the
holonomy In differential geometry, the holonomy of a connection on a smooth manifold is a general geometrical consequence of the curvature of the connection measuring the extent to which parallel transport around closed loops fails to preserve the geomet ...
of that bundle. All this has no direct impact on the counting of the number of distinct components of the Dirac field. In any setting, there are only four real, distinct components. With an appropriate choice of the gamma matrices, it is possible to write the Dirac equation in a purely real form, having only real solutions: this is the
Majorana equation In physics, the Majorana equation is a relativistic wave equation. It is named after the Italian physicist Ettore Majorana, who proposed it in 1937 as a means of describing fermions that are their own antiparticle. Particles corresponding to this ...
. However, it has only two linearly independent solutions. These solutions do ''not'' couple to electromagnetism; they describe a massive, electrically neutral spin-1/2 particle. Apparently, coupling to electromagnetism doubles the number of solutions. But of course, this makes sense: coupling to electromagnetism requires taking a real field, and making it complex. With some effort, the Dirac equation can be interpreted as the "complexified" Majorana equation. This is most easily demonstrated in a generic geometrical setting, outside the scope of this article.


Energy eigenstate projection matrices

It is conventional to define a pair of
projection Projection, projections or projective may refer to: Physics * Projection (physics), the action/process of light, heat, or sound reflecting from a surface to another in a different direction * The display of images by a projector Optics, graphic ...
matrices \Lambda_ and \Lambda_, that project out the positive and negative energy eigenstates. Given a fixed Lorentz coordinate frame (i.e. a fixed momentum), these are \begin \Lambda_(p) = \sum_ &= \frac \\ \Lambda_(p) = \sum_ &= \frac \end These are a pair of 4×4 matrices. They sum to the identity matrix: \Lambda_(p) + \Lambda_(p) = I are orthogonal \Lambda_(p) \Lambda_(p) = \Lambda_(p) \Lambda_(p)= 0 and are
idempotent Idempotence (, ) is the property of certain operations in mathematics and computer science whereby they can be applied multiple times without changing the result beyond the initial application. The concept of idempotence arises in a number of pl ...
\Lambda_(p) \Lambda_(p) = \Lambda_(p) It is convenient to notice their trace: \operatorname \Lambda_(p) = 2 Note that the trace, and the orthonormality properties hold independent of the Lorentz frame; these are Lorentz covariants.


Charge conjugation

Charge conjugation In physics, charge conjugation is a transformation that switches all particles with their corresponding antiparticles, thus changing the sign of all charges: not only electric charge but also the charges relevant to other forces. The term C-sy ...
transforms the positive-energy spinor into the negative-energy spinor. Charge conjugation is a mapping (an
involution Involution may refer to: * Involute, a construction in the differential geometry of curves * '' Agricultural Involution: The Processes of Ecological Change in Indonesia'', a 1963 study of intensification of production through increased labour inpu ...
) \psi\mapsto\psi_c having the explicit form \psi_c = \eta C \left(\overline\psi\right)^\textsf where (\cdot)^\textsf denotes the transpose, C is a 4×4 matrix, and \eta is an arbitrary phase factor, \eta^*\eta = 1. The article on
charge conjugation In physics, charge conjugation is a transformation that switches all particles with their corresponding antiparticles, thus changing the sign of all charges: not only electric charge but also the charges relevant to other forces. The term C-sy ...
derives the above form, and demonstrates why the word "charge" is the appropriate word to use: it can be interpreted as the
electrical charge Electricity is the set of physical phenomena associated with the presence and motion of matter that has a property of electric charge. Electricity is related to magnetism, both being part of the phenomenon of electromagnetism, as described ...
. In the Dirac representation for the
gamma matrices In mathematical physics, the gamma matrices, \left\ , also called the Dirac matrices, are a set of conventional matrices with specific anticommutation relations that ensure they generate a matrix representation of the Clifford algebra Cl1,3(\ma ...
, the matrix C can be written as C = i\gamma^2\gamma^0 = \begin 0 & -i\sigma_2 \\ -i\sigma_2 & 0 \end Thus, a positive-energy solution (dropping the spin superscript to avoid notational overload) \psi^ = u\left(\vec\right) e^ = \textstyle \sqrt \begin \phi\\ \frac \phi \end e^ is carried to its charge conjugate \psi^_c = \textstyle \sqrt \begin i\sigma_2 \frac \phi^*\\ -i\sigma_2 \phi^* \end e^ Note the stray complex conjugates. These can be consolidated with the identity \sigma_2 \left(\vec\sigma^* \cdot \vec k\right) \sigma_2 = - \vec\sigma\cdot\vec k to obtain \psi^_c = \textstyle \sqrt \begin \frac \chi \\ \chi \end e^ with the 2-spinor being \chi = -i\sigma_2 \phi^* As this has precisely the form of the negative energy solution, it becomes clear that charge conjugation exchanges the particle and anti-particle solutions. Note that not only is the energy reversed, but the momentum is reversed as well. Spin-up is transmuted to spin-down. It can be shown that the parity is also flipped. Charge conjugation is very much a pairing of Dirac spinor to its "exact opposite".


See also

*
Dirac equation In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it describes all spin- massive particles, called "Dirac par ...
*
Weyl equation In physics, particularly in quantum field theory, the Weyl equation is a relativistic wave equation for describing massless spin-1/2 particles called Weyl fermions. The equation is named after Hermann Weyl. The Weyl fermions are one of the three ...
*
Majorana equation In physics, the Majorana equation is a relativistic wave equation. It is named after the Italian physicist Ettore Majorana, who proposed it in 1937 as a means of describing fermions that are their own antiparticle. Particles corresponding to this ...
*
Helicity basis In the Standard Model, using quantum field theory it is conventional to use the helicity basis to simplify calculations (of cross sections, for example). In this basis, the spin is quantized along the axis in the direction of motion of the part ...
* Spin(1,3), the double cover of SO(1,3) by a
spin group In mathematics the spin group Spin(''n'') page 15 is the double cover of the special orthogonal group , such that there exists a short exact sequence of Lie groups (when ) :1 \to \mathrm_2 \to \operatorname(n) \to \operatorname(n) \to 1. As a L ...


References

* * {{Cite web , first = David , last = Miller , title = Relativistic Quantum Mechanics (RQM) , year = 2008 , pages = 26–37 , url = http://www.physics.gla.ac.uk/~dmiller/lectures/RQM_2008.pdf Quantum mechanics Quantum field theory Spinors
Spinor In geometry and physics, spinors are elements of a complex vector space that can be associated with Euclidean space. Like geometric vectors and more general tensors, spinors transform linearly when the Euclidean space is subjected to a sligh ...